منابع مشابه
Sickle cell disease in Sicily.
The chemical and physical properties of haemoglobin S derived from homozygotes for this haemoglobin in Sicily were examined, as well as some erythrocytic characteristics. Sicilian Hb S was identical to that found in USA black patients in electrophoretic mobility on both starch and citrate agar media, solubility, mechanical precipitation rate of oxyhaemoglobins, and minimum gelling concentration...
متن کاملOn Combining the Stubborn Set
Reachability analysis is a powerful formal method for analysis of concurrent and distributed nite state systems. It suuers from the state space explosion problem, however: the state space of a system can be far too large to be completely generated. This paper considers two promising methods, Valmari's stubborn set method and Godefroid's sleep set method, to avoid generating all of the state spa...
متن کاملOn the Stubborn Set Method
Reachability analysis is a powerful formal method for analysis of concurrent and distributed nite state systems. It suuers from the state space explosion problem, however, i.e. the state space of a system can be far too large to be completely generated. This thesis is concentrated on the application and theory of the stubborn set method which is one of the methods that try to relieve the state ...
متن کاملOn Computing Symmetries and Stubborn Sets on Computing Symmetries and Stubborn Sets
In this report, we consider two promising methods for alleviating the state space explosion problem in reachability analysis: the symmetry method and the stubborn set method. We concentrate on the computation of symmetries and stubborn sets. The new algorithms presented in this report help us to save time and space in the symmetry method and to avoid inspecting redundant states in the so called...
متن کاملKawasaki disease in Sicily: a 7 year survey
Background Scant reports concerning Kawasaki Disease (KD) in Sicily have been published. Aim: to collect data from a 7-year survey. Methods: the charts of children discharged with the diagnosis of KD since January 2000 to December 2007, from the paediatric Units of 5 tertiary level Hospitals in Sicily were retrospectively reviewed. Data were collected through a questionnaire; gender, age at ons...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: International Organization of Citrus Virologists Conference Proceedings (1957-2010)
سال: 1968
ISSN: 0074-7203,2313-5123
DOI: 10.5070/c58pw4w0rb